The Meaning of ‘Other’ in Classifications: Formal Methods Meet Artistic Research

on the status of mixed methods research in applied linguistics

چکیده ندارد.

on the comparison of keyword and semantic-context methods of learning new vocabulary meaning

the rationale behind the present study is that particular learning strategies produce more effective results when applied together. the present study tried to investigate the efficiency of the semantic-context strategy alone with a technique called, keyword method. to clarify the point, the current study seeked to find answer to the following question: are the keyword and semantic-context metho...

the investigation of research articles in applied linguistics: convergence and divergence in iranian elt context

چکیده ندارد.

Hegel's Dialectic of Artistic Meaning

Formal Methods Meet Domain Specific Languages

In this paper, we relate an experiment whose aim is to study how to combine two existing approaches for ensuring software correctness: Domain Specific Languages (DSLs) and formal methods. As examples, we consider the Bossa DSL and the B formal method. Bossa is dedicated to the development of process schedulers and has been used in the context of Linux and Chorus. B is a refinement based formal ...